chinese remainder theorem solved examples